Data for "Exemplifying parametric timed specifications over signals with bounded behavior" See README.md in the zipped file for explanations and instructions for reproductibility
This data set includes the stimuli (.wav) and files describing the stimulation protocols (.prt) used...
Instrumentation for the experiment: Time-Pressure and Confirmation Bias in Functional Software Testi...
Abstract. Bounded Model Checking (BMC) is a successful refutation method for detecting errors in not...
Data for "Exemplifying parametric timed specifications over signals with bounded behavior" by Étienn...
Data for paper "Zone extrapolations in parametric timed automata" This data set comes with two zip ...
Specifying properties can be challenging work. In this paper, we propose an automated approach to ex...
Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experimen...
International audienceSpecifying properties can be challenging work.In this paper, we propose an aut...
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"...
Contains fulltext : 176091.pdf (preprint version ) (Open Access
This is the raw experimental data for the work presented in 'Optimally diverse communication channel...
Timed systems are characterized by a set of timing constants The packet transmission lasts for 50ms ...
This document includes the raw data and Matlab codes to obtain the figures included in the paper, 'H...
This file contains data from all included tests and an explanatory readme-file. (ZIP)</p
Abstract. Bounded Model Checking (BMC) is an efficient technique applicable to verification of tempo...
This data set includes the stimuli (.wav) and files describing the stimulation protocols (.prt) used...
Instrumentation for the experiment: Time-Pressure and Confirmation Bias in Functional Software Testi...
Abstract. Bounded Model Checking (BMC) is a successful refutation method for detecting errors in not...
Data for "Exemplifying parametric timed specifications over signals with bounded behavior" by Étienn...
Data for paper "Zone extrapolations in parametric timed automata" This data set comes with two zip ...
Specifying properties can be challenging work. In this paper, we propose an automated approach to ex...
Our zip contains all necessary scripts, models, binaries and instructions to reproduce the experimen...
International audienceSpecifying properties can be challenging work.In this paper, we propose an aut...
This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"...
Contains fulltext : 176091.pdf (preprint version ) (Open Access
This is the raw experimental data for the work presented in 'Optimally diverse communication channel...
Timed systems are characterized by a set of timing constants The packet transmission lasts for 50ms ...
This document includes the raw data and Matlab codes to obtain the figures included in the paper, 'H...
This file contains data from all included tests and an explanatory readme-file. (ZIP)</p
Abstract. Bounded Model Checking (BMC) is an efficient technique applicable to verification of tempo...
This data set includes the stimuli (.wav) and files describing the stimulation protocols (.prt) used...
Instrumentation for the experiment: Time-Pressure and Confirmation Bias in Functional Software Testi...
Abstract. Bounded Model Checking (BMC) is a successful refutation method for detecting errors in not...
DOI
Add to ORKG